This Budget Paper provides an analysis of the financial performance of General Government Budget Dependent agencies

Source URL: www.treasury.nsw.gov.au

• Business
• Budgets
• Government procurement in the United States
• Program management
• Cash flow statement
• Central Intelligence Agency
• Logic model
• Fund accounting
• Accountancy
• Financial statements
• Finance

Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett

Source URL: www.cs.cornell.edu

• Type theory
• Models of computation
• Program analysis
• Type system
• Lambda calculus
• Curry–Howard correspondence
• Denotational semantics
• Theoretical computer science
• Mathematical logic
• Computer science

Program Logic for Living Longer on Less Inputs Funds from WHGNE (approximately $20,000 and 17 days researcher !me) to be matched by in-kind from WHIN.

Source URL: www.whin.org.au

The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed]

Source URL: www.sas2012.ens.fr

• Theoretical computer science
• Abstract interpretation
• Applied mathematics
• Model checking
• Program analysis
• Abstract management
• Formal verification
• Software bug
• Computer science
• Formal methods
• Logic in computer science
• Patrick Cousot

Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893

Source URL: why3.lri.fr

• Program logic
• Linear differential equation
• Formal methods
• Ordinary differential equations
• Predicate transformer semantics

DocHdl1OnPTRSERVERtmpTarget

Source URL: www.nr-foundation.org.uk

• Science
• Impact evaluation
• Observational study
• Philosophy of science
• Logic model
• Project management
• Program evaluation
• Environmental impact assessment
• Evaluation
• Evaluation methods
• Impact assessment

Microsoft PowerPoint - iccad08-tutorial-ALL [Compatibility Mode]

Source URL: www.ece.vt.edu

• Formal methods
• Program logic
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Hoare logic
• Boolean satisfiability problem
• Control flow
• Correctness
• Theoretical computer science
• Applied mathematics
• Mathematics

Microsoft Word - StartSmart Evaluation _ Summary Observations Recommendations_ACER.docx

Source URL: www.financialliteracy.gov.au

• Educational psychology
• Knowledge
• Impact assessment
• Program evaluation
• Logic model
• Adolescence
• Evaluation
• Evaluation methods
• Education

Box 1 Principles to guide the evaluation of correctional programs Evaluations are aligned to the overarching CV evaluation framework for correctional programs. Decisions about whether to invest in an outcome evaluati

Source URL: assets.justice.vic.gov.au

• Methodology
• Impact assessment
• Program evaluation
• Logic model
• Prison education
• Empowerment evaluation
• Impact evaluation
• Evaluation
• Evaluation methods
• Sociology

Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U

Source URL: users.ece.cmu.edu

• Software testing
• Predicate transformer semantics
• Program logic
• Fuzz testing
• X Window System
• Function
• KeY
• Errors and residuals in statistics
• Network Time Protocol
• Statistics
• Software
• Mathematics